home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / inputs / sfonts.tex < prev    next >
Text File  |  1991-05-20  |  24KB  |  491 lines
  1. % File SFONTS - Version of 27 October 1989
  2. % (Lyle Ramshaw replaced "circle" with "lcircle" on 22 Oct 89.)
  3. % (Lyle Ramshaw replaced "am*" with "cm*" on 27 Oct 89.)
  4.  
  5. %  Definition of \newfont and \symbol
  6. %  Note that fonts defined with \newfont won't work
  7. %  with color slides---characters in that font will appear
  8. %  in all color layers and in `invisible' text.
  9. % 
  10. \def\newfont#1#2{\@ifdefinable #1{\font #1=#2\relax}}
  11. \def\symbol#1{\char #1\relax}
  12.  
  13. \message{fonts,}
  14.  
  15. % visible fourteen point fonts
  16. \font\fourteenrm   = lcmss8  scaled \magstep 3 % roman
  17. \font\fourteeni    = cmmi8   scaled \magstep 3 % math italic
  18.     \skewchar\fourteeni ='177                  %  for math accents
  19. \font\fourteensy   = cmsy8   scaled \magstep 3 % symbol
  20.     \skewchar\fourteensy ='60           %   for placement of math accents
  21. \font\fourteenit   = lcmssi8 scaled \magstep 3 % italic
  22. \font\fourteenbf   = lcmssb8 scaled \magstep 3 % bold
  23. \font\fourteentt   = cmtt8   scaled \magstep 3 % typewriter
  24.     \hyphenchar\fourteentt = -1         %  suppress hyphenation in \tt font
  25. \font\fourteenlasy = lasy8  scaled \magstep 3 % LaTeX symbol
  26.  
  27. % invisible fourteen point fonts
  28. \font\ifourteenrm   = ilcmss8  scaled \magstep 3 % roman
  29. \font\ifourteeni    = icmmi8   scaled \magstep 3 % math italic
  30.     \skewchar\ifourteeni ='177                  %  for math accents
  31. \font\ifourteensy   = icmsy8   scaled \magstep 3 % symbol
  32.     \skewchar\ifourteensy ='60           %   for placement of math accents
  33. \font\ifourteenit   = ilcmssi8 scaled \magstep 3 % italic
  34. \font\ifourteenbf   = ilcmssb8 scaled \magstep 3 % bold
  35. \font\ifourteentt   = icmtt8   scaled \magstep 3 % typewriter
  36.     \hyphenchar\ifourteentt = -1         %  suppress hyphenation in \tt font
  37. \font\ifourteenlasy = ilasy8  scaled \magstep 3 % LaTeX symbol
  38.  
  39. % visible seventeen point fonts
  40. \font\seventeenrm   = lcmss8  scaled \magstep 4 % roman
  41. \font\seventeeni    = cmmi8   scaled \magstep 4 % math italic
  42.     \skewchar\seventeeni ='177                  %  for math accents
  43. \font\seventeensy   = cmsy8   scaled \magstep 4 % symbol
  44.     \skewchar\seventeensy ='60           %   for placement of math accents
  45. \font\seventeenit   = lcmssi8 scaled \magstep 4 % italic
  46. \font\seventeenbf   = lcmssb8 scaled \magstep 4 % bold
  47. \font\seventeentt   = cmtt8   scaled \magstep 4 % typewriter
  48.     \hyphenchar\seventeentt = -1         %  suppress hyphenation in \tt font
  49. \font\seventeenlasy = lasy8  scaled \magstep 4 % LaTeX symbol
  50.  
  51. % invisible seventeen point fonts
  52. \font\iseventeenrm   = ilcmss8  scaled \magstep 4 % roman
  53. \font\iseventeeni    = icmmi8   scaled \magstep 4 % math italic
  54.     \skewchar\iseventeeni ='177                  %  for math accents
  55. \font\iseventeensy   = icmsy8   scaled \magstep 4 % symbol
  56.     \skewchar\iseventeensy ='60           %   for placement of math accents
  57. \font\iseventeenit   = ilcmssi8 scaled \magstep 4 % italic
  58. \font\iseventeenbf   = ilcmssb8 scaled \magstep 4 % bold
  59. \font\iseventeentt   = icmtt8   scaled \magstep 4 % typewriter
  60.     \hyphenchar\iseventeentt = -1         %  suppress hyphenation in \tt font
  61. \font\iseventeenlasy = ilasy8  scaled \magstep 4 % LaTeX symbol
  62.  
  63. % visible twenty point fonts 
  64. \font\twentyrm   = lcmss8  scaled \magstep 5 % roman
  65. \font\twentyi    = cmmi8   scaled \magstep 5 % math italic
  66.     \skewchar\twentyi ='177                  %  for math accents
  67. \font\twentysy   = cmsy8   scaled \magstep 5 % symbol
  68.     \skewchar\twentysy ='60           %   for placement of math accents
  69. \font\twentyit   = lcmssi8 scaled \magstep 5 % italic
  70. \font\twentybf   = lcmssb8 scaled \magstep 5 % bold
  71. \font\twentytt   = cmtt8   scaled \magstep 5 % typewriter
  72.     \hyphenchar\twentytt = -1         %  suppress hyphenation in \tt font
  73. \font\twentylasy = lasy8  scaled \magstep 5 % LaTeX symbol
  74.  
  75. % invisible twenty point fonts
  76. \font\itwentyrm   = ilcmss8  scaled \magstep 5 % roman
  77. \font\itwentyi    = icmmi8   scaled \magstep 5 % math italic
  78.     \skewchar\itwentyi ='177                  %  for math accents
  79. \font\itwentysy   = icmsy8   scaled \magstep 5 % symbol
  80.     \skewchar\itwentysy ='60           %   for placement of math accents
  81. \font\itwentyit   = ilcmssi8 scaled \magstep 5 % italic
  82. \font\itwentybf   = ilcmssb8 scaled \magstep 5 % bold
  83. \font\itwentytt   = icmtt8   scaled \magstep 5 % typewriter
  84.     \hyphenchar\itwentytt = -1         %  suppress hyphenation in \tt font
  85. \font\itwentylasy = ilasy8  scaled \magstep 5 % LaTeX symbol
  86.  
  87. % visible twentyfour point fonts -- \magstep 6
  88. \font\twentyfourrm   = lcmss8  scaled 2986 % roman
  89. \font\twentyfouri    = cmmi8   scaled 2986 % math italic
  90.     \skewchar\twentyfouri ='177                  %  for math accents
  91. \font\twentyfoursy   = cmsy8   scaled 2986 % symbol
  92.     \skewchar\twentyfoursy ='60           %   for placement of math accents
  93. \font\twentyfourit   = lcmssi8 scaled 2986 % italic
  94. \font\twentyfourbf   = lcmssb8 scaled 2986 % bold
  95. \font\twentyfourtt   = cmtt8   scaled 2986 % typewriter
  96.     \hyphenchar\twentyfourtt = -1         %  suppress hyphenation in \tt font
  97. \font\twentyfourlasy = lasy8  scaled 2986 % LaTeX symbol
  98.  
  99. % invisible twentyfour point fonts
  100. \font\itwentyfourrm   = ilcmss8  scaled 2986 % roman
  101. \font\itwentyfouri    = icmmi8   scaled 2986 % math italic
  102.     \skewchar\itwentyfouri ='177                  %  for math accents
  103. \font\itwentyfoursy   = icmsy8   scaled 2986 % symbol
  104.     \skewchar\itwentyfoursy ='60           %   for placement of math accents
  105. \font\itwentyfourit   = ilcmssi8 scaled 2986 % italic
  106. \font\itwentyfourbf   = ilcmssb8 scaled 2986 % bold
  107. \font\itwentyfourtt   = icmtt8   scaled 2986 % typewriter
  108.     \hyphenchar\itwentyfourtt = -1         %  suppress hyphenation in \tt font
  109. \font\itwentyfourlasy = ilasy8  scaled 2986 % LaTeX symbol
  110.  
  111. % visible twentynine point fonts -- \magstep 7
  112. \font\twentyninerm   = lcmss8  scaled 3583 % roman
  113. \font\twentyninei    = cmmi8   scaled 3583 % math italic
  114.     \skewchar\twentyninei ='177                  %  for math accents
  115. \font\twentyninesy   = cmsy8   scaled 3583 % symbol
  116.     \skewchar\twentyninesy ='60           %   for placement of math accents
  117. \font\twentynineit   = lcmssi8 scaled 3583 % italic
  118. \font\twentyninebf   = lcmssb8 scaled 3583 % bold
  119. \font\twentyninett   = cmtt8   scaled 3583 % typewriter
  120.     \hyphenchar\twentyninett = -1         %  suppress hyphenation in \tt font
  121. \font\twentyninelasy = lasy8  scaled 3583 % LaTeX symbol
  122.  
  123. % invisible twentynine point fonts
  124. \font\itwentyninerm   = ilcmss8  scaled 3583 % roman
  125. \font\itwentyninei    = icmmi8   scaled 3583 % math italic
  126.     \skewchar\itwentyninei ='177                  %  for math accents
  127. \font\itwentyninesy   = icmsy8   scaled 3583 % symbol
  128.     \skewchar\itwentyninesy ='60           %   for placement of math accents
  129. \font\itwentynineit   = ilcmssi8 scaled 3583 % italic
  130. \font\itwentyninebf   = ilcmssb8 scaled 3583 % bold
  131. \font\itwentyninett   = icmtt8   scaled 3583 % typewriter
  132.     \hyphenchar\itwentyninett = -1         %  suppress hyphenation in \tt font
  133. \font\itwentyninelasy = ilasy8  scaled 3583 % LaTeX symbol
  134.  
  135. % visible thirtyfour point fonts -- \magstep 8
  136. \font\thirtyfourrm   = lcmss8  scaled 4300 % roman
  137. \font\thirtyfouri    = cmmi8   scaled 4300 % math italic
  138.     \skewchar\thirtyfouri ='177                  %  for math accents
  139. \font\thirtyfoursy   = cmsy8   scaled 4300 % symbol
  140.     \skewchar\thirtyfoursy ='60           %   for placement of math accents
  141. \font\thirtyfourit   = lcmssi8 scaled 4300 % italic
  142. \font\thirtyfourbf   = lcmssb8 scaled 4300 % bold
  143. \font\thirtyfourtt   = cmtt8   scaled 4300 % typewriter
  144.     \hyphenchar\thirtyfourtt = -1         %  suppress hyphenation in \tt font
  145. \font\thirtyfourlasy = lasy8  scaled 4300 % LaTeX symbol
  146.  
  147. % invisible thirtyfour point fonts
  148. \font\ithirtyfourrm   = ilcmss8  scaled 4300 % roman
  149. \font\ithirtyfouri    = icmmi8   scaled 4300 % math italic
  150.     \skewchar\ithirtyfouri ='177                  %  for math accents
  151. \font\ithirtyfoursy   = icmsy8   scaled 4300 % symbol
  152.     \skewchar\ithirtyfoursy ='60           %   for placement of math accents
  153. \font\ithirtyfourit   = ilcmssi8 scaled 4300 % italic
  154. \font\ithirtyfourbf   = ilcmssb8 scaled 4300 % bold
  155. \font\ithirtyfourtt   = icmtt8   scaled 4300 % typewriter
  156.     \hyphenchar\ithirtyfourtt = -1         %  suppress hyphenation in \tt font
  157. \font\ithirtyfourlasy = ilasy8  scaled 4300 % LaTeX symbol
  158.  
  159. % fortyone point fonts
  160. \font\fortyonerm  = lcmss8  scaled 5160 % roman
  161. \font\ifortyonerm = ilcmss8 scaled 5160 % roman
  162.  
  163. % math extension
  164. \font\tenex =cmex10  scaled\magstep3
  165. \font\itenex=icmex10 scaled\magstep3
  166.  
  167. % line and circle fonts
  168. \font\tenln    = line10
  169. \font\tenlnw   = linew10
  170. \font\tencirc  = lcircle10
  171. \font\tencircw = lcirclew10
  172.  
  173. \ifnum\fontdimen8\tenln=\fontdimen8\tencirc \else 
  174.   \@warning{Incompatible thin line and circle fonts}\fi
  175. \ifnum\fontdimen8\tenlnw=\fontdimen8\tencircw \else 
  176.   \@warning{Incompatible thick line and circle fonts}\fi
  177.  
  178. % Definition of type sizes
  179.  
  180. % NOTE: In this file, \lineskip is 1pt for all font sizes.
  181. \lineskip 1pt
  182. \normallineskip 1pt
  183.  
  184. \def\@subfam#1#2{\@warning{No \string#1\space typeface in 
  185.         SLiTeX, using \string#2}#2}
  186.  
  187.  
  188. % protected font names
  189. \def\rm{\protect\prm}
  190. \def\it{\protect\pit}
  191. \def\bf{\protect\pbf}
  192. \def\tt{\protect\ptt}
  193. \def\sl{\@subfam\sl\it}
  194. \def\sf{\@subfam\sf\rm}
  195. \def\sc{\@subfam\sc\rm}
  196.  
  197. \def\em{\protect\pem{}}
  198. \def\pem{\ifdim \fontdimen\@ne\font >\z@ \rm \else \it \fi}
  199.  
  200. \def\mit{\fam\@ne} 
  201. \def\cal{\fam\tw@}
  202.  
  203. \def\boldmath{\@warning{No \string\boldmath\space in SLiTeX}}
  204. \let\unboldmath=\relax
  205.  
  206. \def\@nomath#1{\ifmmode \@warning{\string#1\space in math mode.}\fi}
  207.  
  208.  
  209. % unused families defined to keep family numbering the same as in LaTeX
  210. %
  211. \newfam\itfam      % \it is family 4
  212. \newfam\slfam      % \sl is family 5  -  Not used in SLiTeX
  213. \newfam\bffam      % \bf is family 6
  214. \newfam\ttfam      % \tt is family 7
  215. \newfam\sffam      % \sf is family 8  -  Not used in SLiTeX
  216. \newfam\scfam      % \sf is family 9  -  Not used in SLiTeX
  217. \newfam\lyfam      % \ly is family 10
  218.  
  219.  
  220. \def\fourteenpt{\def\prm{\fam\z@\fourteenrm\def\@currfont{\rm}}%
  221. \textfont\z@\fourteenrm \scriptfont\z@\fourteenrm 
  222.   \scriptscriptfont\z@\fourteenrm
  223. \textfont\@ne\fourteeni \scriptfont\@ne\fourteeni 
  224.   \scriptscriptfont\@ne\fourteeni
  225. \textfont\tw@\fourteensy \scriptfont\tw@\fourteensy 
  226.   \scriptscriptfont\tw@\fourteensy
  227. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  228. \def\pit{\fam\itfam\fourteenit\def\@currfont{\it}}\textfont\itfam\fourteenit 
  229.     \scriptfont\itfam\fourteenit \scriptscriptfont\itfam\fourteenit
  230. \def\pbf{\fam\bffam\fourteenbf\def\@currfont{\bf}}\textfont\bffam\fourteenbf 
  231.    \scriptfont\bffam\fourteenbf \scriptscriptfont\bffam\fourteenbf
  232. \def\ptt{\fam\ttfam\fourteentt\def\@currfont{\tt}}\textfont\ttfam\fourteentt 
  233.     \scriptfont\ttfam\fourteentt \scriptscriptfont\ttfam\fourteentt
  234. \def\lasy{\fam\lyfam\fourteenlasy\def\@currfont{\lasy}}%
  235. \textfont\lyfam\fourteenlasy \scriptfont\lyfam\fourteenlasy 
  236.    \scriptscriptfont\lyfam\fourteenlasy}
  237.  
  238. \def\ifourteenpt{\def\prm{\fam\z@\ifourteenrm\def\@currfont{\rm}}%
  239. \textfont\z@\ifourteenrm \scriptfont\z@\ifourteenrm 
  240.    \scriptscriptfont\z@\ifourteenrm
  241. \textfont\@ne\ifourteeni \scriptfont\@ne\ifourteeni 
  242.    \scriptscriptfont\@ne\ifourteeni
  243. \textfont\tw@\ifourteensy \scriptfont\tw@\ifourteensy 
  244.     \scriptscriptfont\tw@\ifourteensy
  245. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  246. \def\pit{\fam\itfam\ifourteenit\def\@currfont{\it}}\textfont\itfam\ifourteenit 
  247.     \scriptfont\itfam\ifourteenit \scriptscriptfont\itfam\ifourteenit
  248. \def\pbf{\fam\bffam\ifourteenbf\def\@currfont{\bf}}\textfont\bffam\ifourteenbf 
  249.   \scriptfont\bffam\ifourteenbf \scriptscriptfont\bffam\ifourteenbf
  250. \def\ptt{\fam\ttfam\ifourteentt\def\@currfont{\tt}}\textfont\ttfam\ifourteentt 
  251.   \scriptfont\ttfam\ifourteentt \scriptscriptfont\ttfam\ifourteentt
  252. \def\lasy{\fam\lyfam\ifourteenlasy\def\@currfont{\lasy}}%
  253. \textfont\lyfam\ifourteenlasy \scriptfont\lyfam\ifourteenlasy 
  254.    \scriptscriptfont\lyfam\ifourteenlasy}
  255.  
  256. \def\seventeenpt{\def\prm{\fam\z@\seventeenrm\def\@currfont{\rm}}%
  257. \textfont\z@\seventeenrm \scriptfont\z@\fourteenrm 
  258.    \scriptscriptfont\z@\fourteenrm
  259. \textfont\@ne\seventeeni \scriptfont\@ne\fourteeni 
  260.    \scriptscriptfont\@ne\fourteeni
  261. \textfont\tw@\seventeensy \scriptfont\tw@\fourteensy 
  262.    \scriptscriptfont\tw@\fourteensy
  263. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  264. \def\pit{\fam\itfam\seventeenit\def\@currfont{\it}}\textfont\itfam\seventeenit 
  265.    \scriptfont\itfam\fourteenit \scriptscriptfont\itfam\fourteenit
  266. \def\pbf{\fam\bffam\seventeenbf\def\@currfont{\bf}}\textfont\bffam\seventeenbf 
  267.    \scriptfont\bffam\fourteenbf \scriptscriptfont\bffam\fourteenbf
  268. \def\ptt{\fam\ttfam\seventeentt\def\@currfont{\tt}}\textfont\ttfam\seventeentt
  269.    \scriptfont\ttfam\fourteentt \scriptscriptfont\ttfam\fourteentt
  270. \def\lasy{\fam\lyfam\seventeenlasy\def\@currfont{\lasy}}%
  271. \textfont\lyfam\seventeenlasy \scriptfont\lyfam\fourteenlasy 
  272.    \scriptscriptfont\lyfam\fourteenlasy}
  273.  
  274. \def\iseventeenpt{\def\prm{\fam\z@\iseventeenrm\def\@currfont{\rm}}%
  275. \textfont\z@\iseventeenrm \scriptfont\z@\ifourteenrm 
  276.    \scriptscriptfont\z@\ifourteenrm
  277. \textfont\@ne\iseventeeni \scriptfont\@ne\ifourteeni 
  278.    \scriptscriptfont\@ne\ifourteeni
  279. \textfont\tw@\iseventeensy \scriptfont\tw@\ifourteensy 
  280.    \scriptscriptfont\tw@\ifourteensy
  281. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  282. \def\pit{\fam\itfam\iseventeenit\def\@currfont{\it}}%
  283. \textfont\itfam\iseventeenit 
  284.    \scriptfont\itfam\ifourteenit \scriptscriptfont\itfam\ifourteenit
  285. \def\pbf{\fam\bffam\iseventeenbf\def\@currfont{\bf}}%
  286. \textfont\bffam\iseventeenbf 
  287.    \scriptfont\bffam\ifourteenbf \scriptscriptfont\bffam\ifourteenbf
  288. \def\ptt{\fam\ttfam\iseventeentt\def\@currfont{\tt}}%
  289. \textfont\ttfam\iseventeentt
  290.    \scriptfont\ttfam\ifourteentt \scriptscriptfont\ttfam\ifourteentt
  291. \def\lasy{\fam\lyfam\iseventeenlasy\def\@currfont{\lasy}}%
  292. \textfont\lyfam\iseventeenlasy \scriptfont\lyfam\ifourteenlasy 
  293.    \scriptscriptfont\lyfam\ifourteenlasy}
  294.  
  295. \def\twentypt{\def\prm{\fam\z@\twentyrm\def\@currfont{\rm}}%
  296. \textfont\z@\twentyrm \scriptfont\z@\seventeenrm 
  297.    \scriptscriptfont\z@\fourteenrm
  298. \textfont\@ne\twentyi \scriptfont\@ne\seventeeni 
  299.    \scriptscriptfont\@ne\fourteeni
  300. \textfont\tw@\twentysy \scriptfont\tw@\seventeensy 
  301.    \scriptscriptfont\tw@\fourteensy
  302. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  303. \def\pit{\fam\itfam\twentyit\def\@currfont{\it}}\textfont\itfam\twentyit 
  304.    \scriptfont\itfam\seventeenit \scriptscriptfont\itfam\fourteenit
  305. \def\pbf{\fam\bffam\twentybf\def\@currfont{\bf}}\textfont\bffam\twentybf 
  306.    \scriptfont\bffam\seventeenbf \scriptscriptfont\bffam\fourteenbf
  307. \def\ptt{\fam\ttfam\twentytt\def\@currfont{\tt}}\textfont\ttfam\twentytt
  308.    \scriptfont\ttfam\seventeentt \scriptscriptfont\ttfam\fourteentt
  309. \def\lasy{\fam\lyfam\twentylasy\def\@currfont{\lasy}}%
  310. \textfont\lyfam\twentylasy \scriptfont\lyfam\seventeenlasy 
  311.    \scriptscriptfont\lyfam\fourteenlasy}
  312.  
  313. \def\itwentypt{\def\prm{\fam\z@\itwentyrm\def\@currfont{\rm}}%
  314. \textfont\z@\itwentyrm \scriptfont\z@\iseventeenrm 
  315.    \scriptscriptfont\z@\ifourteenrm
  316. \textfont\@ne\itwentyi \scriptfont\@ne\iseventeeni 
  317.    \scriptscriptfont\@ne\ifourteeni
  318. \textfont\tw@\itwentysy \scriptfont\tw@\iseventeensy 
  319.    \scriptscriptfont\tw@\ifourteensy
  320. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  321. \def\pit{\fam\itfam\itwentyit\def\@currfont{\it}}\textfont\itfam\itwentyit 
  322.    \scriptfont\itfam\iseventeenit \scriptscriptfont\itfam\ifourteenit
  323. \def\pbf{\fam\bffam\itwentybf\def\@currfont{\bf}}\textfont\bffam\itwentybf 
  324.    \scriptfont\bffam\iseventeenbf \scriptscriptfont\bffam\ifourteenbf
  325. \def\ptt{\fam\ttfam\itwentytt\def\@currfont{\tt}}\textfont\ttfam\itwentytt
  326.    \scriptfont\ttfam\iseventeentt \scriptscriptfont\ttfam\ifourteentt
  327. \def\lasy{\fam\lyfam\itwentylasy\def\@currfont{\lasy}}%
  328. \textfont\lyfam\itwentylasy \scriptfont\lyfam\iseventeenlasy 
  329.    \scriptscriptfont\lyfam\ifourteenlasy}
  330.  
  331. \def\twentyfourpt{\def\prm{\fam\z@\twentyfourrm\def\@currfont{\rm}}%
  332. \textfont\z@\twentyfourrm \scriptfont\z@\twentyrm 
  333.    \scriptscriptfont\z@\seventeenrm
  334. \textfont\@ne\twentyfouri \scriptfont\@ne\twentyi 
  335.    \scriptscriptfont\@ne\seventeeni
  336. \textfont\tw@\twentyfoursy \scriptfont\tw@\twentysy 
  337.    \scriptscriptfont\tw@\seventeensy
  338. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  339. \def\pit{\fam\itfam\twentyfourit\def\@currfont{\it}}%
  340. \textfont\itfam\twentyfourit 
  341.    \scriptfont\itfam\twentyit \scriptscriptfont\itfam\seventeenit
  342. \def\pbf{\fam\bffam\twentyfourbf\def\@currfont{\bf}}%
  343. \textfont\bffam\twentyfourbf 
  344.    \scriptfont\bffam\twentybf \scriptscriptfont\bffam\seventeenbf
  345. \def\ptt{\fam\ttfam\twentyfourtt\def\@currfont{\tt}}%
  346. \textfont\ttfam\twentyfourtt
  347.    \scriptfont\ttfam\twentytt \scriptscriptfont\ttfam\seventeentt
  348. \def\lasy{\fam\lyfam\twentyfourlasy\def\@currfont{\lasy}}%
  349. \textfont\lyfam\twentyfourlasy \scriptfont\lyfam\twentylasy 
  350.    \scriptscriptfont\lyfam\seventeenlasy}
  351.  
  352. \def\itwentyfourpt{\def\prm{\fam\z@\itwentyfourrm\def\@currfont{\rm}}%
  353. \textfont\z@\itwentyfourrm \scriptfont\z@\itwentyrm 
  354.    \scriptscriptfont\z@\iseventeenrm
  355. \textfont\@ne\itwentyfouri \scriptfont\@ne\itwentyi 
  356.    \scriptscriptfont\@ne\iseventeeni
  357. \textfont\tw@\itwentyfoursy \scriptfont\tw@\itwentysy 
  358.    \scriptscriptfont\tw@\iseventeensy
  359. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  360. \def\pit{\fam\itfam\itwentyfourit\def\@currfont{\it}}%
  361. \textfont\itfam\itwentyfourit
  362.    \scriptfont\itfam\itwentyit \scriptscriptfont\itfam\iseventeenit
  363. \def\pbf{\fam\bffam\itwentyfourbf\def\@currfont{\bf}}%
  364. \textfont\bffam\itwentyfourbf 
  365.    \scriptfont\bffam\itwentybf \scriptscriptfont\bffam\iseventeenbf
  366. \def\ptt{\fam\ttfam\itwentyfourtt\def\@currfont{\tt}}%
  367. \textfont\ttfam\itwentyfourtt
  368.    \scriptfont\ttfam\itwentytt \scriptscriptfont\ttfam\iseventeentt
  369. \def\lasy{\fam\lyfam\itwentyfourlasy\def\@currfont{\lasy}}%
  370. \textfont\lyfam\itwentyfourlasy \scriptfont\lyfam\itwentylasy 
  371.    \scriptscriptfont\lyfam\iseventeenlasy}
  372.  
  373. \def\twentyninept{\def\prm{\fam\z@\twentyninerm\def\@currfont{\rm}}%
  374. \textfont\z@\twentyninerm \scriptfont\z@\twentyfourrm 
  375.    \scriptscriptfont\z@\twentyrm
  376. \textfont\@ne\twentyninei \scriptfont\@ne\twentyfouri 
  377.    \scriptscriptfont\@ne\twentyi
  378. \textfont\tw@\twentyninesy \scriptfont\tw@\twentyfoursy 
  379.    \scriptscriptfont\tw@\twentysy
  380. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  381. \def\pit{\fam\itfam\twentynineit\def\@currfont{\it}}%
  382. \textfont\itfam\twentynineit 
  383.    \scriptfont\itfam\twentyfourit \scriptscriptfont\itfam\twentyit
  384. \def\pbf{\fam\bffam\twentyninebf\def\@currfont{\bf}}%
  385. \textfont\bffam\twentyninebf 
  386.    \scriptfont\bffam\twentyfourbf \scriptscriptfont\bffam\twentybf
  387. \def\ptt{\fam\ttfam\twentyninett\def\@currfont{\tt}}%
  388. \textfont\ttfam\twentyninett
  389.    \scriptfont\ttfam\twentyfourtt \scriptscriptfont\ttfam\twentytt
  390. \def\lasy{\fam\lyfam\twentyninelasy\def\@currfont{\lasy}}%
  391. \textfont\lyfam\twentyninelasy \scriptfont\lyfam\twentyfourlasy 
  392.    \scriptscriptfont\lyfam\twentylasy}
  393.  
  394. \def\itwentyninept{\def\prm{\fam\z@\itwentyninerm\def\@currfont{\rm}}%
  395. \textfont\z@\itwentyninerm \scriptfont\z@\itwentyfourrm 
  396.    \scriptscriptfont\z@\itwentyrm
  397. \textfont\@ne\itwentyninei \scriptfont\@ne\itwentyfouri 
  398.    \scriptscriptfont\@ne\itwentyi
  399. \textfont\tw@\itwentyninesy \scriptfont\tw@\itwentyfoursy 
  400.    \scriptscriptfont\tw@\itwentysy
  401. \textfont\thr@@\itenex \scriptfont\thr@@\itenex 
  402.    \scriptscriptfont\thr@@\itenex
  403. \def\pit{\fam\itfam\itwentynineit\def\@currfont{\it}}%
  404. \textfont\itfam\itwentynineit 
  405. \scriptfont\itfam\itwentyfourit \scriptscriptfont\itfam\itwentyit
  406. \def\pbf{\fam\bffam\itwentyninebf\def\@currfont{\bf}}%
  407. \textfont\bffam\itwentyninebf 
  408.    \scriptfont\bffam\twentyfourbf \scriptscriptfont\bffam\twentybf
  409. \def\ptt{\fam\ttfam\itwentyninett\def\@currfont{\tt}}%
  410. \textfont\ttfam\itwentyninett
  411.    \scriptfont\ttfam\twentyfourtt \scriptscriptfont\ttfam\twentytt
  412. \def\lasy{\fam\lyfam\itwentyninelasy\def\@currfont{\lasy}}%
  413. \textfont\lyfam\itwentyninelasy \scriptfont\lyfam\itwentyfourlasy 
  414.    \scriptscriptfont\lyfam\itwentylasy}
  415.  
  416. \def\thirtyfourpt{\def\prm{\fam\z@\thirtyfourrm\def\@currfont{\rm}}%
  417. \textfont\z@\thirtyfourrm \scriptfont\z@\twentyninerm 
  418.    \scriptscriptfont\z@\twentyfourrm
  419. \textfont\@ne\thirtyfouri \scriptfont\@ne\twentyninei 
  420.    \scriptscriptfont\@ne\twentyfouri
  421. \textfont\tw@\thirtyfoursy \scriptfont\tw@\twentyninesy 
  422.    \scriptscriptfont\tw@\twentyfoursy
  423. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  424. \def\pit{\fam\itfam\thirtyfourit\def\@currfont{\it}}%
  425. \textfont\itfam\thirtyfourit 
  426.    \scriptfont\itfam\twentynineit \scriptscriptfont\itfam\twentyfourit
  427. \def\pbf{\fam\bffam\thirtyfourbf\def\@currfont{\bf}}%
  428. \textfont\bffam\thirtyfourbf 
  429.    \scriptfont\bffam\twentyninebf \scriptscriptfont\bffam\twentyfourbf
  430. \def\ptt{\fam\ttfam\thirtyfourtt\def\@currfont{\tt}}%
  431. \textfont\ttfam\thirtyfourtt
  432.    \scriptfont\ttfam\twentyninett \scriptscriptfont\ttfam\twentyfourtt
  433. \def\lasy{\fam\lyfam\thirtyfourlasy\def\@currfont{\lasy}}%
  434. \textfont\lyfam\thirtyfourlasy \scriptfont\lyfam\twentyninelasy 
  435.    \scriptscriptfont\lyfam\twentyfourlasy}
  436.  
  437. \def\ithirtyfourpt{\def\prm{\fam\z@\ithirtyfourrm\def\@currfont{\rm}}%
  438. \textfont\z@\ithirtyfourrm \scriptfont\z@\itwentyninerm 
  439.    \scriptscriptfont\z@\itwentyfourrm
  440. \textfont\@ne\ithirtyfouri \scriptfont\@ne\itwentyninei 
  441.    \scriptscriptfont\@ne\itwentyfouri
  442. \textfont\tw@\ithirtyfoursy \scriptfont\tw@\itwentyninesy 
  443.    \scriptscriptfont\tw@\itwentyfoursy
  444. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  445. \def\pit{\fam\itfam\ithirtyfourit\def\@currfont{\it}}%
  446. \textfont\itfam\ithirtyfourit 
  447.    \scriptfont\itfam\itwentynineit \scriptscriptfont\itfam\itwentyfourit
  448. \def\pbf{\fam\bffam\ithirtyfourbf\def\@currfont{\bf}}%
  449. \textfont\bffam\ithirtyfourbf 
  450.    \scriptfont\bffam\itwentyninebf \scriptscriptfont\bffam\itwentyfourbf
  451. \def\ptt{\fam\ttfam\ithirtyfourtt\def\@currfont{\tt}}%
  452. \textfont\ttfam\ithirtyfourtt
  453.    \scriptfont\ttfam\itwentyninett \scriptscriptfont\ttfam\itwentyfourtt
  454. \def\lasy{\fam\lyfam\ithirtyfourlasy\def\@currfont{\lasy}}%
  455. \textfont\lyfam\ithirtyfourlasy \scriptfont\lyfam\itwentyninelasy 
  456.    \scriptscriptfont\lyfam\itwentyfourlasy}
  457.  
  458. \def\fortyonept{\thirtyfourpt\def\prm{\fam\z@\fortyonerm\def\@currfont{\rm}}%
  459. \textfont\z@\fortyonerm 
  460. \scriptfont\z@\twentyninerm \scriptscriptfont\z@\twentyfourrm}
  461.  
  462. \def\ifortyonept{\ithirtyfourpt
  463.   \def\prm{\fam\z@\ifortyonerm\def\@currfont{\rm}}%
  464. \textfont\z@\ifortyonerm 
  465. \scriptfont\z@\itwentyninerm \scriptscriptfont\z@\itwentyfourrm}
  466.  
  467. % Definitions of math operators added by LaTeX
  468. \mathchardef\mho"0A30
  469. \mathchardef\Join"3A31
  470. \mathchardef\Box"0A32
  471. \mathchardef\Diamond"0A33
  472. \mathchardef\leadsto"3A3B
  473. \mathchardef\sqsubset"3A3C
  474. \mathchardef\sqsupset"3A3D
  475. \def\lhd{\mathbin{< \hbox to -.43em{}\if@visible 
  476.    \hbox{\vrule \@width .065em \@height .55em \@depth .05em}\else
  477.    \hbox{\hskip .065em \vrule \@width \z@ \@height .55em \@depth .05em}
  478.     \fi\hbox to .2em{}}}
  479. \def\rhd{\mathbin{\hbox to .3em{}\if@visible
  480.     \hbox{\vrule \@width .065em \@height .55em \@depth .05em}\else
  481.     \hbox{\hskip .065em \vrule \@width \z@ \@height .55em \@depth .05em}\fi
  482.     \hbox to -.43em{}>}}
  483. \def\unlhd{\mathbin{\leq \hbox to -.43em{}\if@visible
  484.     \hbox{\vrule \@width .065em \@height .63em \@depth -.08em}\else
  485.     \hbox{\hskip .065em \vrule \@width \z@ \@height .63em \@depth -.08em}\fi
  486.     \hbox to .2em{}}}
  487. \def\unrhd{\mathbin{ \hbox to .3em{}\if@visible
  488.     \hbox{\vrule \@width .065em \@height .63em \@depth -.08em}\else
  489.     \hbox{\hskip .065em \vrule \@width \z@ \@height .63em \@depth -.08em}\fi
  490.     \hbox to -.43em{}\geq}}
  491.